#include <avr/io.h>

void init_timer3(void);